121. Parallel processing and applied mathematics :
Author: Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.
Classification :
QA76
.
58
122. Pictorial Essay,ایران اسلام رسپوبلیکاسی ایله آذربایجان رسپوبلیکاسی آراسیندا اقتصادی و سیاسی مناسیبتلر ۱۹۹۱-۱۹۹۷
Author: 20090215 00677nam1 22001692i 450 001000700000020002100007100004500028101000800073200016000081210014000241215000900381300004500390801003300435930001800468932000800486910001300494 608032 ,20090214 0
Library: Library of Islamic Parliament (Tehran)
Subject:
123. Proceedings
Author: Symposium on Logic in Computer Science )4th: 9891: Asilomar Conference Center, Pacific Grove, California(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Electronic data processing- Mathematics- Congresses,، Logic, Symbolic and mathematical- Congresses
Classification :
QA
76
.
9
.
M35
S94
1989
124. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
Author: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
Classification :
QA
76
.
9
.
M35
S94
1994
125. Proceedings of the International Congress of Mathematicians, August 21-29, 1990, Kyoto, Japan
Author: / editor Ichiro Satake]
Library: Library of College of Science University of Tehran (Tehran)
Subject: Mathematics, -- Congresses,a03
Classification :
QA
1
.
I55
1990
126. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
Author: / Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...[et al.]
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer science -- Mathematics -- Congresses,Logic, Symbolic and mathematical -- Congresses
Classification :
QA
76
.
9
.
M35
S94
2004
127. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
Author: sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
75
.
5
.
I38
2000
128. Proof and system-reliability
Author: edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems -- Reliability -- Congresses.,Computer systems -- Reliability.,Proof theory -- Congresses.
129. Proof technology and computation /
Author: edited by Helmut Schwichtenberg and Katharina Spies.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.
Classification :
QA76
.
9
.
A96
N38
2003eb
130. Quantum interactio
Author: / Dawei Song ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Artificial intelligence--Congresses,Quantum theory--Congresses,Computer science,Information theory,Computer software,Electronic data processing,Artificial intelligence,Theory of Computation,Algorithm Analysis and Problem Complexity,Mathematical Logic and Formal Languages,Artificial Intelligence (incl. Robotics),Mathematics of Computing,Computing Methodologies
Classification :
Q
,
334
,.
Q25
,
2011
131. Quantum interaction :
Author: Dawei Song [and others] (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses,Quantum theory, Congresses,Quantum computers-- Congresses,Quantum theory-- Congresses
Classification :
Q334
.
Q25
2011
132. Reachability problems :
Author: Igor Potapov, Pierre-Alain Reynier (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
Classification :
QA76
.
76
.
V47
133. Reachability problems
Author: Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses,Computer systems-- Verification, Congresses,Decidability (Mathematical logic), Congresses
Classification :
QA76
.
76
.
V47
R6
2012eb
134. Reachability problems :
Author: Parosh Aziz Abdulla, Igor Potapov (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Computer systems -- Verification -- Congresses.,Decidability (Mathematical logic) -- Congresses.
Classification :
QA76
.
76
.
V47
P376
9999
135. Reasoning web :
Author: Claudia d'Amato, Martin Theobald (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Semantic computing, Congresses.,Semantic Web, Congresses.,Artificial Intelligence.,Computer Appl. in Administrative Data Processing.,Data Mining and Knowledge Discovery.,Database Management.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Databases.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,Semantic computing.,Semantic Web.
Classification :
TK5105
.
88815
136. Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers
Author: Krzysztof R. Apt...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
3010
137. Recent advances in constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers
Author: Boi Faltings... ]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Constraint programming )Computer science(
Classification :
QA
76
.
L28
Vol
.
3419
138. Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers
Author: Barry O'Sullivan )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
2627
139. Recent trends in algebraic development techniques
Author: \ Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Development -- Congresses.,Computer science -- Mathematics -- Congresses,Formal methods (Computer science) -- Congresses.,نرمافزار -- تولید -- کتگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها ,روشهای صوری (کامپیوتر) -- کنگرهها
Classification :
QA
76
.
76
.
D47
W32
2015
E-Book
,
140. Relational and Algebraic Methods in Computer Science
Author: \ Wolfram Kahl , Michael Winter, José N. Oliveira (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Algebraic logic -- Congresses.,Relation algebras -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها ,منطق جبری -- کنگره ها
Classification :
QA
76
.
9
.
M35R4
2015
E-Book
,
